Summary Useful results obtained with a mix of manual and automatic processes Still far short of state-of-the-art...